If it goes ahead, the combination would create the world's biggest exchange by revenue.